In the study of formal theories in mathematical logic, bounded quantifiers are often added to a language in addition to the standard quantifiers "?" and "?". Bounded quantifiers differ from "?" and "?" in that bounded quantifiers restrict the range of the quantified variable.